Computer Science and Engineering

Results: 6228



#Item
791Cryptography / Ciphertext indistinguishability / Probabilistic encryption / Authenticated encryption / Cryptosystem / RSA / Encryption / Deterministic encryption / Block cipher mode of operation / Public-key cryptography / Ciphertext / Cipher

Security of Symmetric Encryption against Mass Surveillance Mihir Bellare1 , Kenneth G. Paterson2 , and Phillip Rogaway3 1 Dept. of Computer Science and Engineering, University of California San Diego, USA. cseweb.ucsd.e

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-08-24 18:12:50
792Fellows of the Royal Society of Edinburgh / Artificial intelligence / Cognitive science / Computer science education / Informatics / Information science / Doctoral Training Centre / Engineering and Physical Sciences Research Council / Jane Hillston / Ian Sommerville / Farouk Kamoun

A. Curriculum Vitae 1. Name Stuart Oliver Anderson 2. College College of Science and Engineering

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2011-11-01 13:56:56
793Electrical engineering / Electronic engineering / Computer science / Computer engineering / Computing / Control engineering / Embedded system / Software / Domain-specific language / Operating system / Curriculum / Association for Computing Machinery

Guidelines for a Graduate Curriculum on Embedded Software and Systems P. CASPI, A. SANGIOVANNI-VINCENTELLI, L. ALMEIDA, A. BENVENISTE, B. BOUYSSOUNOUSE, G. BUTTAZZO, I. CRNKOVIC, W. DAMM, J. ENGBLOM, G. FOLHER, M. GARCIA

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
794Java / Java applet / Java platform / Applet / Localhost / GDS

A Software Composition Flaw in Google Desktop Search Oren Dobzinski and Jeannette M. Wing Electrical and Computer Engineering Department and Computer Science Department Carnegie Mellon University 5000 Forbes Ave., Pittsb

Add to Reading List

Source URL: cups.cs.cmu.edu

Language: English - Date: 2005-06-21 09:58:21
795Operations research / Combinatorial optimization / Theoretical computer science / Convex optimization / A* search algorithm / Algorithm / NP / Linear programming / Belief propagation / Mean value analysis

BASIS PURSUIT IN SENSOR NETWORKS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA 2

Add to Reading List

Source URL: www.ee.ucl.ac.uk

Language: English - Date: 2013-07-05 07:45:59
796Computational linguistics / Grammar / Semantics / Formal languages / Natural language parsing / Dependency grammar / Parsing / Argument / Natural language processing / Semantic role labeling / Word-sense disambiguation / Free variables and bound variables

Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A.

Add to Reading List

Source URL: twiki.di.uniroma1.it

Language: English - Date: 2013-03-28 13:13:45
797Computer science education / National Center for Women & Information Technology / Shahjalal University of Science and Technology / AP Computer Science / Computer Science Teachers Association

UW CSE DawgBytesAnnual Report DawgBytes, the University of Washington Computer Science & Engineering K-12 outreach program, aims to introduce both students and teachers to the exciting world of computing. In the

Add to Reading List

Source URL: www.cs.washington.edu

Language: English - Date: 2015-11-06 15:54:46
798Formal methods / Theoretical computer science / Logic in computer science / Systems engineering / Formal verification / Specification / Formal specification / Verification / Simulink / Device driver synthesis and verification

Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser

Add to Reading List

Source URL: sdl-forum.org

Language: English - Date: 2014-10-14 21:17:20
799Computer memory / Non-volatile memory / Emerging technologies / Computer architecture / Resistive random-access memory / Computer data storage / Random-access memory / Dynamic random-access memory / Voltammetry

Metal Oxides: Potential Candidates for Future Nonvolatile Memories Adnan Younis School of Materials Science and Engineering, University of New South Wales, Sydney, 2052, NSW, Australia E-mail address: .a

Add to Reading List

Source URL: www.iceim.org

Language: English - Date: 2016-07-25 04:20:04
800Computer engineering / Computer science / Electrical engineering / Electronic engineering / Missouri University of Science and Technology

Dear Missouri S&T Computer Science Alumnus, The Missouri S&T Computer Science Department continually strives to improve the education its students receive. We value input on your experiences as a student in the departmen

Add to Reading List

Source URL: cs.mst.edu

Language: English - Date: 2016-03-29 11:10:25
UPDATE